Linux Cubed Series 3: Developer Tools/Linux Cubed Series 3 - Developer Tools.iso/devel/lang/lisp/stk-3.002/stk-3/STk-3.1/Doc/Reference/manual.tex/labels.pl

Text File | 1996-07-24 | 38.8 KB | 1,482 lines

# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate labels original text with physical files.


$key = q/+/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/-/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/GCSTART/;
$external_labels{$key} = "$URL/" . q|node32_ct.html|;
$noresave{$key} = "$nosave";

$key = q/_/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/_SPMgt_/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/_SPMgt__/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/_SPMlt_/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/_SPMlt__/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/abs/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/acos/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/add-signal-handler_/;
$external_labels{$key} = "$URL/" . q|node32_ct.html|;
$noresave{$key} = "$nosave";

$key = q/address-of/;
$external_labels{$key} = "$URL/" . q|node31_ct.html|;
$noresave{$key} = "$nosave";

$key = q/address_/;
$external_labels{$key} = "$URL/" . q|node31_ct.html|;
$noresave{$key} = "$nosave";

$key = q/addresses/;
$external_labels{$key} = "$URL/" . q|node31_ct.html|;
$noresave{$key} = "$nosave";

$key = q/and/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/angle/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/append/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/apply/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/apropos/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/asin/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/assoc/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/assq/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/assv/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/atan/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/autoload/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/autoload_/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/basename/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/begin/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/boolean_/;
$external_labels{$key} = "$URL/" . q|node16_ct.html|;
$noresave{$key} = "$nosave";

$key = q/booleansection/;
$external_labels{$key} = "$URL/" . q|node16_ct.html|;
$noresave{$key} = "$nosave";

$key = q/builtinchapter/;
$external_labels{$key} = "$URL/" . q|node15_ct.html|;
$noresave{$key} = "$nosave";

$key = q/bye/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/caar/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cadr/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/call-with-current-continuation/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/call-with-input-file/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/call-with-input-string/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/call-with-output-file/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/call-with-output-string/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/call_cc/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/canonical-path/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/car/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/case/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/catch/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cdddar/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cddddr/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cdr/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/ceiling/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char-_SPMgt_integer/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char-alphabetic_/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char-ci_SPMgt__/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char-ci_SPMgt___/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char-ci_SPMlt__/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char-ci_SPMlt___/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char-ci__/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char-downcase/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char-lower-case_/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char-numeric_/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char-ready_/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char-upcase/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char-upper-case_/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char-whitespace_/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char_/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char_SPMgt__/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char_SPMgt___/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char_SPMlt__/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char_SPMlt___/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/char__/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/chdir/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/close-input-port/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/close-output-port/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/close-port/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/closure_/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/complex_/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cond/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cons/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/continuation_/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/copy-tree/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cos/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/current-error-port/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/current-input-port/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/current-output-port/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/decompose-file-name/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/define-macro/;
$external_labels{$key} = "$URL/" . q|node29_ct.html|;
$noresave{$key} = "$nosave";

$key = q/delay/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/denominator/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/detail/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/dirname/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/display/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/do/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/dotimes/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/dump/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/dynamic-wind/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/environment/;
$external_labels{$key} = "$URL/" . q|node28_ct.html|;
$noresave{$key} = "$nosave";

$key = q/environment-_SPMgt_list/;
$external_labels{$key} = "$URL/" . q|node28_ct.html|;
$noresave{$key} = "$nosave";

$key = q/environment_/;
$external_labels{$key} = "$URL/" . q|node28_ct.html|;
$noresave{$key} = "$nosave";

$key = q/eq_/;
$external_labels{$key} = "$URL/" . q|node17_ct.html|;
$noresave{$key} = "$nosave";

$key = q/equal_/;
$external_labels{$key} = "$URL/" . q|node17_ct.html|;
$noresave{$key} = "$nosave";

$key = q/equivalencesection/;
$external_labels{$key} = "$URL/" . q|node17_ct.html|;
$noresave{$key} = "$nosave";

$key = q/eqv_/;
$external_labels{$key} = "$URL/" . q|node17_ct.html|;
$noresave{$key} = "$nosave";

$key = q/error/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/eval/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/eval-string/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/even_/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/exact-_SPMgt_inexact/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/exact_/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/exec/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/exit/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/exp/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/expand-file-name/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/expand-heap/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/expt/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/file-exists_/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/file-is-directory_/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/file-is-executable_/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/file-is-readable_/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/file-is-regular_/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/file-is-writable_/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/floor/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/fluid-let/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/flush/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/for-each/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/force/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/format/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/gc/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/gc-stats/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/gcd/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/gensym/;
$external_labels{$key} = "$URL/" . q|node19_ct.html|;
$noresave{$key} = "$nosave";

$key = q/get-internal-info/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/get-keyword/;
$external_labels{$key} = "$URL/" . q|node26_ct.html|;
$noresave{$key} = "$nosave";

$key = q/get-output-string/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/get-signal-handlers/;
$external_labels{$key} = "$URL/" . q|node32_ct.html|;
$noresave{$key} = "$nosave";

$key = q/get-widget-data/;
$external_labels{$key} = "$URL/" . q|node27_ct.html|;
$noresave{$key} = "$nosave";

$key = q/getcwd/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/getenv/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/getpid/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/gf-n-methods/;
$external_labels{$key} = "$URL/" . q|node60_ct.html|;
$noresave{$key} = "$nosave";

$key = q/glob/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/global-environment/;
$external_labels{$key} = "$URL/" . q|node28_ct.html|;
$noresave{$key} = "$nosave";

$key = q/hash-table-_SPMgt_list/;
$external_labels{$key} = "$URL/" . q|node33_ct.html|;
$noresave{$key} = "$nosave";

$key = q/hash-table-for-each/;
$external_labels{$key} = "$URL/" . q|node33_ct.html|;
$noresave{$key} = "$nosave";

$key = q/hash-table-get/;
$external_labels{$key} = "$URL/" . q|node33_ct.html|;
$noresave{$key} = "$nosave";

$key = q/hash-table-hash/;
$external_labels{$key} = "$URL/" . q|node33_ct.html|;
$noresave{$key} = "$nosave";

$key = q/hash-table-map/;
$external_labels{$key} = "$URL/" . q|node33_ct.html|;
$noresave{$key} = "$nosave";

$key = q/hash-table-put_/;
$external_labels{$key} = "$URL/" . q|node33_ct.html|;
$noresave{$key} = "$nosave";

$key = q/hash-table-remove_/;
$external_labels{$key} = "$URL/" . q|node33_ct.html|;
$noresave{$key} = "$nosave";

$key = q/hash-table-stats/;
$external_labels{$key} = "$URL/" . q|node33_ct.html|;
$noresave{$key} = "$nosave";

$key = q/hash-table_/;
$external_labels{$key} = "$URL/" . q|node33_ct.html|;
$noresave{$key} = "$nosave";

$key = q/hashtables/;
$external_labels{$key} = "$URL/" . q|node33_ct.html|;
$noresave{$key} = "$nosave";

$key = q/if/;
$external_labels{$key} = "$URL/" . q|node12_ct.html|;
$noresave{$key} = "$nosave";

$key = q/imag-part/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/inexact-_SPMgt_exact/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/inexact_/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/inheritance/;
$external_labels{$key} = "$URL/" . q|node54_ct.html|;
$noresave{$key} = "$nosave";

$key = q/initialenv/;
$external_labels{$key} = "$URL/" . q|node15_ct.html|;
$noresave{$key} = "$nosave";

$key = q/input-port_/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/input-string-port_/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/inputoutput/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/inspect/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/integer-_SPMgt_char/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/integer_/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/keyword-_SPMgt_string/;
$external_labels{$key} = "$URL/" . q|node26_ct.html|;
$noresave{$key} = "$nosave";

$key = q/keyword_/;
$external_labels{$key} = "$URL/" . q|node26_ct.html|;
$noresave{$key} = "$nosave";

$key = q/keywords/;
$external_labels{$key} = "$URL/" . q|node26_ct.html|;
$noresave{$key} = "$nosave";

$key = q/lambda/;
$external_labels{$key} = "$URL/" . q|node12_ct.html|;
$noresave{$key} = "$nosave";

$key = q/lcm/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/length/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/let/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/let_/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/letrec/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/list/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/list-_SPMgt_string/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/list-_SPMgt_vector/;
$external_labels{$key} = "$URL/" . q|node23_ct.html|;
$noresave{$key} = "$nosave";

$key = q/list-ref/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/list-tail/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/list_/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/listsection/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/load/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/log/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/machine-type/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/macro/;
$external_labels{$key} = "$URL/" . q|node29_ct.html|;
$noresave{$key} = "$nosave";

$key = q/macro-body/;
$external_labels{$key} = "$URL/" . q|node29_ct.html|;
$noresave{$key} = "$nosave";

$key = q/macro-expand/;
$external_labels{$key} = "$URL/" . q|node29_ct.html|;
$noresave{$key} = "$nosave";

$key = q/macro-expand-1/;
$external_labels{$key} = "$URL/" . q|node29_ct.html|;
$noresave{$key} = "$nosave";

$key = q/macro_/;
$external_labels{$key} = "$URL/" . q|node29_ct.html|;
$noresave{$key} = "$nosave";

$key = q/macros/;
$external_labels{$key} = "$URL/" . q|node29_ct.html|;
$noresave{$key} = "$nosave";

$key = q/magnitude/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/make-client-socket/;
$external_labels{$key} = "$URL/" . q|node36_ct.html|;
$noresave{$key} = "$nosave";

$key = q/make-hash-table/;
$external_labels{$key} = "$URL/" . q|node33_ct.html|;
$noresave{$key} = "$nosave";

$key = q/make-keyword/;
$external_labels{$key} = "$URL/" . q|node26_ct.html|;
$noresave{$key} = "$nosave";

$key = q/make-polar/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/make-rectangular/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/make-server-socket/;
$external_labels{$key} = "$URL/" . q|node36_ct.html|;
$noresave{$key} = "$nosave";

$key = q/make-string/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/make-vector/;
$external_labels{$key} = "$URL/" . q|node23_ct.html|;
$noresave{$key} = "$nosave";

$key = q/map/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/max/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/member/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/memq/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/memv/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/min/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/modulo/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/negative_/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/newline/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/not/;
$external_labels{$key} = "$URL/" . q|node16_ct.html|;
$noresave{$key} = "$nosave";

$key = q/null_/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/number-_SPMgt_string/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/number_/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/numerator/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/odd_/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/open-file/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/open-input-file/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/open-input-string/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/open-output-file/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/open-output-string/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/or/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/output-port_/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/output-string-port_/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/pair_/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/parent-environment/;
$external_labels{$key} = "$URL/" . q|node28_ct.html|;
$noresave{$key} = "$nosave";

$key = q/peek-char/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/port-_SPMgt_list/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/port-_SPMgt_sexp-list/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/port-_SPMgt_string/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/port-_SPMgt_string-list/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/positive_/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/primitive_/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/procedure-body/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/procedure-environment/;
$external_labels{$key} = "$URL/" . q|node28_ct.html|;
$noresave{$key} = "$nosave";

$key = q/procedure_/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/process-alive_/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|;
$noresave{$key} = "$nosave";

$key = q/process-continue/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|;
$noresave{$key} = "$nosave";

$key = q/process-error/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|;
$noresave{$key} = "$nosave";

$key = q/process-exit-status/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|;
$noresave{$key} = "$nosave";

$key = q/process-input/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|;
$noresave{$key} = "$nosave";

$key = q/process-kill/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|;
$noresave{$key} = "$nosave";

$key = q/process-list/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|;
$noresave{$key} = "$nosave";

$key = q/process-output/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|;
$noresave{$key} = "$nosave";

$key = q/process-pid/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|;
$noresave{$key} = "$nosave";

$key = q/process-send-signal/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|;
$noresave{$key} = "$nosave";

$key = q/process-stop/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|;
$noresave{$key} = "$nosave";

$key = q/process-type/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|;
$noresave{$key} = "$nosave";

$key = q/process-wait/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|;
$noresave{$key} = "$nosave";

$key = q/process_/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|;
$noresave{$key} = "$nosave";

$key = q/promise_/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/provide/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/provided_/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/quasiquote/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/quit/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/quote/;
$external_labels{$key} = "$URL/" . q|node12_ct.html|;
$noresave{$key} = "$nosave";

$key = q/quotient/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/random/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/rational_/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/rationalize/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/read/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/read-char/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/read-from-string/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/read-line/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/real-part/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/real_/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/regexp-replace/;
$external_labels{$key} = "$URL/" . q|node34_ct.html|;
$noresave{$key} = "$nosave";

$key = q/regexp-replace-all/;
$external_labels{$key} = "$URL/" . q|node34_ct.html|;
$noresave{$key} = "$nosave";

$key = q/regexp-type/;
$external_labels{$key} = "$URL/" . q|node34_ct.html|;
$noresave{$key} = "$nosave";

$key = q/regexp_/;
$external_labels{$key} = "$URL/" . q|node34_ct.html|;
$noresave{$key} = "$nosave";

$key = q/remainder/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/require/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/reverse/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/root_window/;
$external_labels{$key} = "$URL/" . q|node41_ct.html|;
$noresave{$key} = "$nosave";

$key = q/round/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/run-process/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|;
$noresave{$key} = "$nosave";

$key = q/set-car_/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/set-cdr_/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/set-random-seed_/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/set-signal-handler_/;
$external_labels{$key} = "$URL/" . q|node32_ct.html|;
$noresave{$key} = "$nosave";

$key = q/set-widget-data_/;
$external_labels{$key} = "$URL/" . q|node27_ct.html|;
$noresave{$key} = "$nosave";

$key = q/set_/;
$external_labels{$key} = "$URL/" . q|node12_ct.html|;
$noresave{$key} = "$nosave";

$key = q/setenv_/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/signals/;
$external_labels{$key} = "$URL/" . q|node32_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sin/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/slot-description/;
$external_labels{$key} = "$URL/" . q|node57_ct.html|;
$noresave{$key} = "$nosave";

$key = q/socket-accept-connection/;
$external_labels{$key} = "$URL/" . q|node36_ct.html|;
$noresave{$key} = "$nosave";

$key = q/socket-down_/;
$external_labels{$key} = "$URL/" . q|node36_ct.html|;
$noresave{$key} = "$nosave";

$key = q/socket-dup/;
$external_labels{$key} = "$URL/" . q|node36_ct.html|;
$noresave{$key} = "$nosave";

$key = q/socket-host-address/;
$external_labels{$key} = "$URL/" . q|node36_ct.html|;
$noresave{$key} = "$nosave";

$key = q/socket-host-name/;
$external_labels{$key} = "$URL/" . q|node36_ct.html|;
$noresave{$key} = "$nosave";

$key = q/socket-input/;
$external_labels{$key} = "$URL/" . q|node36_ct.html|;
$noresave{$key} = "$nosave";

$key = q/socket-local-address/;
$external_labels{$key} = "$URL/" . q|node36_ct.html|;
$noresave{$key} = "$nosave";

$key = q/socket-output/;
$external_labels{$key} = "$URL/" . q|node36_ct.html|;
$noresave{$key} = "$nosave";

$key = q/socket-port-number/;
$external_labels{$key} = "$URL/" . q|node36_ct.html|;
$noresave{$key} = "$nosave";

$key = q/socket-shutdown/;
$external_labels{$key} = "$URL/" . q|node36_ct.html|;
$noresave{$key} = "$nosave";

$key = q/socket-type/;
$external_labels{$key} = "$URL/" . q|node36_ct.html|;
$noresave{$key} = "$nosave";

$key = q/socket_/;
$external_labels{$key} = "$URL/" . q|node36_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sort/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sqrt/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-_SPMgt_list/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-_SPMgt_number/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-_SPMgt_regexp/;
$external_labels{$key} = "$URL/" . q|node34_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-_SPMgt_symbol/;
$external_labels{$key} = "$URL/" . q|node19_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-_SPMgt_widget/;
$external_labels{$key} = "$URL/" . q|node27_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-append/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-ci_SPMgt__/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-ci_SPMgt___/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-ci_SPMlt__/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-ci_SPMlt___/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-ci__/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-copy/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-fill_/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-find_/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-index/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-length/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-lower/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-ref/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-set_/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string-upper/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string_/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string_SPMgt__/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string_SPMgt___/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string_SPMlt__/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string_SPMlt___/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/string__/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/substring/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/symbol-_SPMgt_string/;
$external_labels{$key} = "$URL/" . q|node19_ct.html|;
$noresave{$key} = "$nosave";

$key = q/symbol-bound_/;
$external_labels{$key} = "$URL/" . q|node28_ct.html|;
$noresave{$key} = "$nosave";

$key = q/symbol_/;
$external_labels{$key} = "$URL/" . q|node19_ct.html|;
$noresave{$key} = "$nosave";

$key = q/symbolsection/;
$external_labels{$key} = "$URL/" . q|node19_ct.html|;
$noresave{$key} = "$nosave";

$key = q/system/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/tan/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/the-environment/;
$external_labels{$key} = "$URL/" . q|node28_ct.html|;
$noresave{$key} = "$nosave";

$key = q/time/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/tk-command_/;
$external_labels{$key} = "$URL/" . q|node27_ct.html|;
$noresave{$key} = "$nosave";

$key = q/tkcommand/;
$external_labels{$key} = "$URL/" . q|node27_ct.html|;
$noresave{$key} = "$nosave";

$key = q/trace-var/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/transcript-off/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/transcript-on/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/truncate/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/try-load/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/uncode/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/unless/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/until/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/untrace-var/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/vector/;
$external_labels{$key} = "$URL/" . q|node23_ct.html|;
$noresave{$key} = "$nosave";

$key = q/vector-_SPMgt_list/;
$external_labels{$key} = "$URL/" . q|node23_ct.html|;
$noresave{$key} = "$nosave";

$key = q/vector-copy/;
$external_labels{$key} = "$URL/" . q|node23_ct.html|;
$noresave{$key} = "$nosave";

$key = q/vector-fill_/;
$external_labels{$key} = "$URL/" . q|node23_ct.html|;
$noresave{$key} = "$nosave";

$key = q/vector-length/;
$external_labels{$key} = "$URL/" . q|node23_ct.html|;
$noresave{$key} = "$nosave";

$key = q/vector-ref/;
$external_labels{$key} = "$URL/" . q|node23_ct.html|;
$noresave{$key} = "$nosave";

$key = q/vector-resize/;
$external_labels{$key} = "$URL/" . q|node23_ct.html|;
$noresave{$key} = "$nosave";

$key = q/vector-set_/;
$external_labels{$key} = "$URL/" . q|node23_ct.html|;
$noresave{$key} = "$nosave";

$key = q/vector_/;
$external_labels{$key} = "$URL/" . q|node23_ct.html|;
$noresave{$key} = "$nosave";

$key = q/version/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/view/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/when/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/when-port-readable/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/when-port-writable/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/when-socket-ready/;
$external_labels{$key} = "$URL/" . q|node36_ct.html|;
$noresave{$key} = "$nosave";

$key = q/while/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/widget-_SPMgt_string/;
$external_labels{$key} = "$URL/" . q|node27_ct.html|;
$noresave{$key} = "$nosave";

$key = q/widget-name/;
$external_labels{$key} = "$URL/" . q|node27_ct.html|;
$noresave{$key} = "$nosave";

$key = q/widget_/;
$external_labels{$key} = "$URL/" . q|node27_ct.html|;
$noresave{$key} = "$nosave";

$key = q/with-input-from-file/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/with-input-from-string/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/with-output-to-file/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/with-output-to-string/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/write/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/write-char/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/zero_/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2022 (Released January 1, 2022)
# labels from external_latex_labels array.


1;